AMR version of CloverLeaf