SMS: Debugging the link between social theory and social insects