Add variable allocation for byte input
Do not forget to register a False constraint if it is unsolvable by the simple process