to compile: 
make 
This will create an executable in bin directory.

to clean: 
make clean

to run: 
./shell ReasonLS-run.sh $1 $2 


$1   :inputFile  absolutely path

$2   :-drup-file=$2/proof.out 

