I've added tests of new assumption in assumptions module.