Controller: Completed execute function and added check function for propositions (as well as helper functions to evaluate propositions one by one)