void subcase_add_always (struct subcase *sc, int case_index, int width,
enum subcase_direction direction);
void subcase_add_var_always (struct subcase *, const struct variable *,
enum subcase_direction);
void subcase_add_always (struct subcase *sc, int case_index, int width,
enum subcase_direction direction);
void subcase_add_var_always (struct subcase *, const struct variable *,
enum subcase_direction);