concrete.go
functions.go
loops.go
pure.go
terminates.go