deprecated feature: operator (&); you should use (&&) instead
fix branching (ctx.split) in spec