Assertions for preconditions and internal variants for logic package