- fixed some bugs to allow statement theorem subordinate processing