wip
git ignore *.out files
without any narrowing, lifting and lowering works with wiggle.
wip
discarding the original value of S works with wiggle.