A precise model for contextual roles: The programming language ObjectTeams/Java