removed an unneeded file; some reconfiguring of the plugin dependencies
fixed an issue with the automatically-generated env liveness
debugging counterstrategy code and assumption generator for nondeterm motion