Added if-then-else resolvers.