Setup static assertions in movement