rename variable "param" into "parameter" to avoid keyword conflicts

Author: zhezhouzz

Tst/RegressionTests/Feature1SMLevelDecls/Correct/PingPong/PingPong.p

@@ -75,11 +75,11 @@ spec M observes M_Ping, M_Pong {
     }
 }
 
-fun _CREATEMACHINE(cner: machine, typeOfMachine: int, param : any, newMachine: machine) : machine
+fun _CREATEMACHINE(cner: machine, typeOfMachine: int, parameter : any, newMachine: machine) : machine
 {
 	if(typeOfMachine == 1)
 	{
-		newMachine = new PING(param as (machine, machine));
+		newMachine = new PING(parameter as (machine, machine));
 	}
 	else if(typeOfMachine == 2)
 	{

Tst/RegressionTests/Feature1SMLevelDecls/Correct/bug3/bug3.p

@@ -22,10 +22,10 @@ machine Main {
 		}
 
 		fun CREATECONTAINER() : machine {return null as machine;}
-		fun CreateSMR(cont: machine, param : any)
+		fun CreateSMR(cont: machine, parameter : any)
 		{
 
-			send (param as (machine, bool, int)).0, x, (100, 100);
+			send (parameter as (machine, bool, int)).0, x, (100, 100);
 		}
 	}
 

Tst/RegressionTests/Feature1SMLevelDecls/Correct/bug4/bug4.p

@@ -21,7 +21,7 @@ machine Main {
 		}
 
 		fun CREATECONTAINER() : machine {return null as machine;}
-		fun CreateSMR(cont: machine, param : any) : machine
+		fun CreateSMR(cont: machine, parameter : any) : machine
 		{
 			return null as machine;
 		}