enhanced simplifyAbsTerm and corrected error for App <Case> <Term>