Sema: Forbid inconsistent constraint alternatives

Verify that asm constraints have the same number of alternatives