Unify Engine: get_restriction (WIP)