fix bug: not allowing Sfp::Undefined and Sfp::Unknown as the value of procedure parameter