Added Unknown results support for the api
Added unknown messages for realizability checking