The problem can be solved if the constants are in lower case: alice, bob, james instead of Alice, Bob, James.