Fix stupid bug in condition type resolver