Add tests for tlc.and and tlc.or