Basic blocks need context too