Remove redundant EAssign case.
Move generic annotation predicates to core.
Switch fusion predicates to effects.