Mostly modular compilation of crosscutting concerns by contextual predicate dispatch