Bug in creating free  variables in SatProp resolved
Kripke Strucure added