Fixed bug where instructs predicate was not showing up
Merge branch 'master' of https://github.com/albchu/CPSC-433-Project