shorten simple functions
Network.addMite
faster contradiction
towards comma-separated seq