fix bugs when there is "<sfp::unknown>" value in the initial state -- add "<sfp::unknown>" value in domain value of all non-static variables