Implemented sketch of situated random solver. However it doesn't work
(Exception in one checkArgument) because I don't think valid plans are
generated so far.