Fixed mu-calculus layer and spgsolver for copy-dependencies.

Signed-off-by: Jeroen Meijer <jjgmeijer@gmail.com>