Slice over function boundaries

[romanofski]

The current implement prevents slicing over function boundaries. That means, that we can't track variables if they are assigned by a function call. That would be neat to have.